🎨 Graph Coloring - matmat · Scour

A Complexity Dichotomy for Temporal Valued Constraint Satisfaction Problems

arxiv.org·15h

🧮Constraint SMT

Building scalable agentic assistants: A graph-based approach

thenewstack.io·2h

🌊Stream Processing

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·6h·

Discuss: Blogger

📐Linear Algebra

Making an LSP for great good

thunderseethe.dev·20h·

Discuss: Lobsters, Hacker News

🌳Incremental Parsing

abelianization of an additive category in nLab

ncatlab.org·4h

🧮Algebraic Archives

Three-chromatic geometric hypergraphs

arxiv.org·15h

🌀Hyperbolic Geometry

**Random Combination:** Combining Closure Operads (a branch of category theory dealing with higher-dimensional generalizations of closures) with Topological ...

freederia.com·1d

🕸️Algebraic Topology

Intel axes 12th Gen Alder Lake and 4th Gen Xeon Sapphire Rapids — final orders for Intel's first hybrid CPUs end in just a few months

tomshardware.com

·3h

⚡Nordic Processors

Building a Personal Claude Code Toolkit: Templates and Snippets

dev.to·1h·

Discuss: DEV

🦀Rust Macros

Lab: Distributing Level-2 IS-IS Routes into Level-1 Areas

blog.ipspace.net·13h

🧩WASM Components

Setting Up A Cluster of Tiny PCs For Parallel Computing - A Note To Myself

kenkoonwong.com·1h·

Discuss: Hacker News

⚡Parallel Computing

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·4h·

Discuss: Hacker News

🤝Unification Algorithms

One ISA, Infinite Use Cases: RISC-V and the Road to Workload-Specific Silicon

riscv.org·55m

🧲RISC-V Preservation

On the way to step functions: the two worlds

blog.julik.nl·1d

🐚Shell Calculus

Dealing with alternatives

jemarch.net·1d

🔧Binary Parsing

vandragt.com·1d

✅Format Verification

The Story on ISPC (Intel SPMD Program Compiler)

pharr.org·1d·

Discuss: Hacker News

🔩Systems Programming

Free papers, get your free papers here!

esat.kuleuven.be·1h

🔢Reed-Solomon Math

Using Local LLMs to Discover High-Performance Algorithms

towardsdatascience.com·2d

Two workflow challenges from 2012 that were solved as a byproduct of something else

statmodeling.stat.columbia.edu·1d

⚡Proof Automation

Loading more...